Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems

Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning

Judgment aggregation is a recent formal discipline thatstudies how to aggregate individual judgments to formcollective decisions. Examples are expert panels, legalcourts, boards, and councils. The problems investigatedin this new field are relevant and common to many situ-ations. Nevertheless, the existing procedures are ideal-ized and, as for the related problems of pre...

On the Descriptional Complexity of Production Systems

In t h i s paper we f o r m a l i z e d i f f e r e n t methods f o r d e s c r i b i n g c o n t r o l knowledge in p roduc t i on systems by the concept of p r o d u c t i o n system schemes. In t h i s framework these methods are compared from the v iewpo in t o f d e s c r i p t i o n a l comp lex i t y g i v i n g us some i n s i g h t by which means problems can be descr ibed in an easy a...

Descriptional Complexity of Error/Edit Systems

On the Descriptional Complexity of Limited Propagating Lindenmayer Systems

We investigate the descriptional complexity of limited propagating Lindenmayer systems and their deterministic and tabled variants with respect to the number of rules and the number of symbols. We determine the decrease of complexity when the generative capacity is increased. For incomparable families, we give languages that can be described more efficiently in either of these families than in ...

1st Annual PKI Research Workshop---Proceedings

The fundamental goal of PKIs is to provide a means for participating entities to establish and manage trust in other entities, either within or across domain boundaries. As PKIs have evolved, so has the set of alternate methods supporting validation of entities, their certificates, and their keys. Validation processing determines whether or not the acceptance of a certificate or key represents ...